Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
JVM stack is about to be massively modernized
medium.comยท1hยท
Discuss: Hacker News
๐Ÿ”—Dependency Resolution
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Pacsea Is a New TUI That Makes Arch Package Browsing Easier
linuxiac.comยท3h
๐Ÿ“ฆPackage Managers
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Ship Broken Things
matmul.netยท23hยท
Discuss: Hacker News
๐Ÿ”ฌBinary Analysis
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Managing Asynchronous Work with Celery and Redis
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠApache Kafka
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท2h
๐ŸŽฏGradual Typing
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Vite is like the United Nations of JavaScript
stackoverflow.blogยท11h
๐Ÿ”„Language Evolution
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Lobsters Interview with Zdsmith
lobste.rsยท13hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
A Year of Gentoo
arch.dogยท5hยท
โ„Nix
Has anyone tried csprimer and have any reviews on it?
csprimer.comยท5hยท
Discuss: Hacker News
๐Ÿ’ปCS
Preference-aware routing for Claude Code 2.0
archgw.comยท21hยท
Discuss: Hacker News
๐ŸงฉWASM Components